#include <stddef.h>
int main()
{
	void* p1 = NULL;
	int* p2 = p1;
	return 0;
}
